- axiomatization policy
- стратегия выдвижения аксиом; стратегия аксиоматизации
English-Russian dictionary of computer science and programming. 2013.
axiomatization policy
Смотреть что такое "axiomatization policy" в других словарях:
John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann … Wikipedia
Charles Sanders Peirce — B … Wikipedia
von Neumann, John — orig. Johann Von Neumann born Dec. 3, 1903, Budapest, Hung. died Feb. 8, 1957, Washington, D.C., U.S. Hungarian born U.S. mathematician. After receiving his Ph.D. from the University of Budapest, he emigrated to the U.S. to teach at Princeton… … Universalium
Jacob Marschak — Infobox Scientist name = Jacob Marschak caption = birth date = birth date|1898|7|23|mf=y birth place = Kiev, Imperial Russia death date = death date and age|1977|7|27|1898|7|23|mf=y death place = Los Angeles, U.S. residence = U.S. nationality = U … Wikipedia
Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Comparison of instant runoff voting to other voting systems — This article is a comparison of various voting systems with Instant runoff voting (IRV), also called the Alternative Vote , preferential voting and ranked choice voting. Contents 1 Categories 2 Voting system criteria 3 Voting system results … Wikipedia
